Target Directed Event Sequence Generation for Android Applications

Testing is a commonly used approach to ensure the quality of software, of which model-based testing is a hot topic to test GUI programs such as Android applications (apps). Existing approaches mainly either dynamically construct a model that only contains the GUI information, or build a model in the view of code that may fail to describe the changes of GUI widgets during runtime. Besides, most of these models do not support back stack that is a particular mechanism of Android. Therefore, this paper proposes a model LATTE that is constructed dynamically with consideration of the view information in the widgets as well as the back stack, to describe the transition between GUI widgets. We also propose a label set to link the elements of the LATTE model to program snippets. The user can define a subset of the label set as a target for the testing requirements that need to cover some specific parts of the code. To avoid the state explosion problem during model construction, we introduce a definition "state similarity" to balance the model accuracy and analysis cost. Based on this model, a target directed test generation method is presented to generate event sequences to effectively cover the target. The experiments on several real-world apps indicate that the generated test cases based on LATTE can reach a high coverage, and with the model we can generate the event sequences to cover a given target with short event sequences

Influence of Workpiece Imbalance on Regenerative and Frictional Grinding Chatters

This research is supported by National Natural Science Foundation of China under Grant No.11502048 and 11572224, and Fundamental Research Funds for the Central Universities under Grant No.ZYGX2015KYQD033.Peer reviewedPublisher PD

Regenerative chatter in self-interrupted plunge grinding

This research is supported by National Natural Science Foundation of China under Grant Nos.11572224 and 11502048, and Fundamental Research Funds for the Central Universities under Grant No. ZYGX2015KYQD033. We would like to thank Dr. Pankaj Wahi for an initial discussion during YY’s stay in Aberdeen.Peer reviewedPublisher PD

Basins of attraction of the bistable region of time-delayed cutting dynamics

This research is supported by National Natural Science Foundation of China under Grant No. 11502048 and 11572224, and Fundamental Research Funds for the Central Universities under Grant No.ZYGX2015KYQD033.Peer reviewedPublisher PD

Identifying DNA motifs based on match and mismatch alignment information

The conventional way of identifying DNA motifs, solely based on match alignment information, is susceptible to a high number of spurious sites. A novel scoring system has been introduced by taking both match and mismatch alignment information into account. The mismatch alignment information is useful to remove spurious sites encountered in DNA motif searching. As an example, a correct TATA box site in Homo sapiens H4/g gene has successfully been identified based on match and mismatch alignment information